Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of the organizing committee

Catuscia Palamidessi is member of:

• The Executive Committee of SIGLOG, the ACM Special Interest Group on Logic and Computation. Since 2014.

• The Steering Committee of CONCUR, the International Conference in Concurrency Theory. Since 2016.

• The Organizing Committee of LICS, the ACM/IEEE Symposium on Logic in Computer Science. 2014-18.

• The Steering Committee of ETAPS, the European Joint Conferences on Theory and Practice of Software. Since 2006.

• The Steering Committee of EACSL, the European Association for Computer Science Logics. Since 2015.

• The Steering Committee of FORTE, the International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Since 2014.

• The IFIP Technical Committee 1 – Foundations of Computer Science. Since 2007.

• The IFIP Working Group 1.7 – Theoretical Foundations of Security Analysis and Design. Since 2010.

• The IFIP Working Group 1.8 – Concurrency Theory. Since 2005.

Frank D. Valencia is member of:

• The steering committee of the International Workshop in Concurrency EXPRESS. Since 2010.

Konstantinos Chatzikokolakis is member of:

• The steering committee of the Privacy Enhancing Technologies Symposium. Since 2018.

Scientific events selection committee

Chair of conference program committee

Konstantinos Chatzikokolakis:

• is serving as PC chair (with Carmela Troncoso as co-chair) of PETS 2019: The 19th Privacy Enhancing Technologies Symposium, July 16-20, 2019, Stockholm, Sweden.

Member of conference program committees

Catuscia Palamidessi is/has been a member of the program committees of the following conferences and workshops:

• PETS 2019. The 19th Privacy Enhancing Technologies Symposium. Stockholm, Sweden, 16–20 July, 2019.

• LICS 2019. The Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science. Vancouver, Canada, 24–27 June 2019.

• CSF 2019. The 32nd IEEE Computer Security Foundations Symposium. Hoboken, NJ, USA, June 24-27, 2019.

• SAC 2019 (Security track). The 34th ACM/SIGAPP Symposium On Applied Computing. Limassol, Cyprus, 8-12 April 2019.

• FACS 2018. The 15th International Conference on Formal Aspects of Component Software. Pohang, South Corea, 10-12 October 2018.

• TASE 2018. The 12th International Symposium on Theoretical Aspects of Software Engineering. Guangzhou, China, 29-31 August 2018.

• PETS 2018. The 18th Privacy Enhancing Technologies Symposium. Barcelona, Spain, 24-27 July 2018.

• FOSSACS 2018. The 21st International Conference on Foundations of Software Science and Computation Structures. (Part of ETAPS 2018.) Thessaloniki, Greece, 14-21 April 2018.

• SOFSEM 2018. The 44th Annual Int'l Conference on Current Trends in Theory and Practice of Computer Science (track on Foundations of Computer Science). Krems an der Donau, Austria, 29 January- 2 February, 2018.

• PPML 2018. Privacy Preserving Machine Learning (NeurIPS 2018 Workshop). Montréal, Canada, 8 December 2018.

• APVP 2018. Atelier sur la Protection de la Vie Privée. Porquerolles, France, 3-6 juin 2018.

Konstantinos Chatzikokolakis is/has been a member of the program committees of the following conferences and workshops:

• BMDA 2018: Workshop on Big Mobility Data Analytics

• QAPL 2018: International Workshop on Quantitative Aspects of Programming Languages and Systems

• HotSpot 2018: 6th Workshop on Hot Issues in Security Principles and Trust

Frank D. Valencia is/has been a member of the program committees of the following conferences and workshops:

• CP-ICLP-SAT-DP-18. Doctoral Program of the 23rd International Conference on Principles and Practice of Constraint Programming.

• CONCUR 2019. The 30th International Conference on Concurrency Theory. Amsterdam, the Netherlands, August 26-31, 2019.

• AAMAS 2019. International Conference on Autonomous Agents and Multiagent Systems. Montreal, Canada, 13th-17th of May 2019.

Journals

Member of the editorial board

Catuscia Palamidessi is:

• Member of the Editorial Board of the Proceedings on Privacy Enhancing Technologies (PoPETs), published by De Gruyter. Since 2017.

• Member of the Editorial Board of Mathematical Structures in Computer Science, published by the Cambridge University Press. Since 2006.

• Member of the Editorial Board of Acta Informatica, published by Springer. Since 2015.

• Member of the Editorial Board of the Electronic Notes of Theoretical Computer Science, published by Elsevier Science. Since 2000.

• Member of the Editorial Board of LIPIcs: Leibniz International Proceedings in Informatics, Schloss Dagstuhl–Leibniz Center for Informatics. Since 2014.

Konstantinos Chatzikokolakis is:

• Editorial board member of the Proceedings on Privacy Enhancing Technologies (PoPETs), a scholarly journal for timely research papers on privacy.

Reviewing

The members of the team regularly review papers for international journals, conferences and workshops.

Other Editorial Activities

Catuscia Palamidessi is/has been:

• Co-editor (with Anca Muscholl and Anuj Dawar) of the special issue of Logical Methods in Computer Science dedicated to selected papers of ICALP 2017.

• Co-editor (with Alexandra Silva and Natarajan Shankar) of the special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016.

Frank D. Valencia has been:

• Co-editor of the special issue on Mathematical Structures in Computer Science dedicated to the best papers from the 12th International Colloquium on Theoretical Aspects of Computing.

Participation in other committees

Catuscia Palamidessi has been serving in the following committees:

• Member of the panel for the Research Evaluation for Development 2019 (RED19) of the Department of Computer Science and Engineering at the University of Gothenburg, Sweden.

• Chair of the Nominating Committee for the 2019 renewal of the office holders of SIGLOG, the ACM Special Interest Group on Logic and Computation.

• Member of the evaluation panel for the SU-ICT-03-2018: “Dynamic countering of cyber-attacks” - H2020 Work Programme 2018-2020.

• Member of the evaluation panel for the program IKTPLUSS on Digital Security, Research Council of Norway (2018).

• Member of the committee for the Alonzo Church Award for Outstanding Contributions to Logic and Computation. From 2015. In 2018 Palamidessi is the president of this committee.

• Reviewer for the projects proposal for the program PRIN, sponsored by the Italian MIUR (“Ministero dell'Istruzione, dell'Università e della Ricerca”). Since 2005.

• President of the selection committee for the EATCS Best Paper Award. From 2006 until 2018.

• Member of the EAPLS PhD Award Committee. From 2010.

Invited talks

Catuscia Palamidessi has given invited talks at the following conferences and workshops:

• CSL 2018. The 27th Computer Science Logic Annual Conference. Birmingham, UK, 4–7 September 2018.

• CSF 2018. The 31st IEEE Computer Security Foundations Symposium, Oxford, UK, 9-12 July 2018.

• PROOFS 2018 (Keynote speaker). The 7th International Workshop on Security Proofs for Embedded Systems. Amsterdam, The Netherlands, 13 September 2018.

• PiMLAI 2018 Privacy in Machine Learning and Artificial Intelligence (FAIM 2018 Workshop). Stockholm, Sweden, 15 July 2018.

• Bernoulli Symposium. Opening Symposium of the new institute for Artificial Intelligence, Mathematics, and Computer Science of the University of Groningen. Groningen, The Netherlands, 1 November 2018.

Konstantinos Chatzikokolakis has given invited talks at the following conference:

• QEST 2018. 15th International Conference on Quantitative Evaluation of SysTems, Beijing, China, September 4-7, 2018.

Service

Catuscia Palamidessi has served as:

• Member of the committee for the assignment of the Inria International Chairs. From 2017.

Frank Valencia has served as:

• Directeur adjoint de l'UMR 7161, le Laboratoire d'Informatique de l'Ecole Polytechnique (LIX). From May 2016.

Konstantinos Chatzikokolakis has served as:

• Member of the hiring committee for the “poste enseignants-chercheur Gaspard Monge”, Ecole Polytechnique, 2018.